Change device IDs to be integers, as required now by DevController. Remove
authoremellor@ewan <emellor@ewan>
Wed, 28 Sep 2005 15:59:13 +0000 (16:59 +0100)
committeremellor@ewan <emellor@ewan>
Wed, 28 Sep 2005 15:59:13 +0000 (16:59 +0100)
commit1106624d57d1f34ad74fa140b2d0b08347b3a496
tree667185f8f5fcf1a6493895e86db793e65b1033e1
parentf955af1faa8a406ea3fcc7c9a867bf972c001e44
Change device IDs to be integers, as required now by DevController.  Remove
unused op_device.  Remove broken code to show the domain configuration using
the HTTP server.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
tools/python/xen/xend/server/SrvDomain.py